perm filename VARIET[1,JRA] blob
sn#005811
filedate 1972-10-23 generic text, type T, neo UTF8
00100 AXIOMS: X*(((((X*X)*((x*(x*y))*y))*Y)*Z)*(((X*X)*X)*Z)) =Y; 00300 X*X=1; 00400 ;